21.53/26.09	unsat
