17.87/20.92	unsat
