0.26/0.40	unsat
