23.72/26.12	unsat
