3.17/3.21	unsat
