0.34/0.40	unsat
