1.49/8.13	unsat
