0.14/0.31	unsat
