23.24/26.31	unsat
