5.52/7.16	unsat
