5.27/5.34	unsat
