23.67/26.07	unsat
