3.27/3.31	unsat
