24.01/26.54	unsat
