5.07/5.66	unsat
