21.74/21.86	unsat
