23.26/26.55	unsat
