21.76/21.86	unsat
