23.16/26.38	unsat
