4.71/5.26	unsat
