188.86/188.92	unsat
