0.30/0.41	unsat
