0.32/0.40	unsat
