21.84/21.96	unsat
