22.62/26.51	unsat
