20.84/20.97	unsat
