5.92/5.93	unsat
