17.77/17.88	unsat
