17.27/17.55	unsat
