0.12/0.42	unsat
