17.26/17.97	unsat
