4.71/7.13	unsat
