0.18/0.40	unsat
