0.02/0.40	unsat
