24.43/26.16	unsat
