20.84/20.92	unsat
