0.34/0.42	unsat
