16.61/16.68	unsat
