17.53/17.65	unsat
