26.16/26.24	unsat
