0.01/0.26	unsat
