17.55/17.65	unsat
