0.30/0.42	unsat
