20.84/21.38	unsat
