17.54/17.65	unsat
