4.71/4.93	unsat
