1.66/5.16	unsat
