16.59/16.78	unsat
