5.51/5.72	unsat
