0.16/0.26	unsat
