16.77/16.89	unsat
