16.66/16.78	unsat
