5.66/6.16	unsat
