22.84/26.46	unsat
