17.91/17.97	unsat
