23.90/26.31	unsat
