0.42/0.43	unsat
