0.06/0.13	unsat
