5.18/5.93	unsat
