4.67/5.66	unsat
