23.25/26.52	unsat
