0.41/0.42	unsat
