0.23/0.26	unsat
