24.84/25.33	unsat
