17.66/17.77	unsat
