23.23/26.16	unsat
