1.18/3.93	unsat
