24.45/25.26	unsat
