0.42/0.42	unsat
