21.66/26.55	unsat
