0.29/0.42	unsat
