0.34/0.41	unsat
