17.53/17.79	unsat
