16.57/16.65	unsat
