24.85/26.45	unsat
