3.17/3.28	unsat
