5.17/5.93	unsat
