24.41/25.28	unsat
