5.71/7.13	unsat
