0.28/0.40	unsat
