3.80/5.72	unsat
