0.14/0.42	unsat
