0.09/0.26	unsat
